Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
231	A Formally-Verified C Static Analyzer Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2014-10-28 11:05:08 Abstract interpretation Field theory Ring theory Function Valuation Ring Interpretation Finitary relation Orbifold Mathematics Abstract algebra Algebra
232	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
233	Inferring relevance for tag search from user authority – Abstract Anand Kishore Tagging is an act of imparting human knowledge/wisdom to objects. Thus a tag, a one word interpretation/categorizat Add to Reading List Source URL: docs.semanticvoid.com Language: English - Date: 2007-03-03 15:17:02 Subterranea Rapid transit in Austria Transport in Vienna Vienna U-Bahn T-carrier U2 U3 Rail transport Nuremberg U-Bahn Nuremberg Rapid transit
234	SOLVING OVERDETERMINED EIGENVALUE PROBLEMS SAPTARSHI DAS∗ AND ARNOLD NEUMAIER† Abstract. We propose a new interpretation of the generalized overdetermined eigenvalue problem (A − λB) v ≈ 0 for two m × n (m > n Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2012-12-12 09:52:56 Abstract algebra Matrix theory Numerical linear algebra Eigenvalues and eigenvectors Singular value decomposition Generalized eigenvector Matrix Orthogonal matrix Inverse iteration Algebra Mathematics Linear algebra
235	A Practical and Flexible Flow Analysis for Higher-Order Languages J. Michael Ashley∗ Computer Science Department Indiana University Bloomington, Indiana Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Measure Compiler Abstract interpretation Mathematics Structure Programming language implementation Compiler construction Data-flow analysis
236	A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:06:12 Abstract interpretation Mathematical logic Algorithm Partial evaluation Programming language Principles of Programming Languages Logic programming Logic Scientific modelling Science Software engineering Computing
237	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
238	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra
239	Efficient Strongly Relational Polyhedral Analysis Sriram Sankaranarayanan1,3 , Michael A. Col´ on2 , Henny Sipma3 , Zohar Manna3 1 NEC Laboratories America, Princeton, NJ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-05-30 21:54:28 Operations research Linear algebra Polyhedron Linear programming Abstract interpretation Linear inequality Convex function Function Mathematical optimization Mathematics Mathematical analysis
240	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics

UPDATE